Liên kết ngoài Georg

Liên kết ngoài Georg_Cantor

Wikiquote Anh ngữ sưu tập danh ngôn về:

Georg Cantor

Wikiversity tiếng Anh có tài liệu giáo dục và khoa học kỹ thuật về:
Philosophy of mathematics/Georg Cantor

Wikimedia Commons có thêm hình ảnh và phương tiện truyền tải về Georg Cantor.

O'Connor, John J.; Robertson, Edmund F., “Georg Cantor”, Dữ liệu Lịch sử Toán học MacTutor, Đại học St. Andrews
O'Connor, John J.; Robertson, Edmund F., “A history of set theory”, Dữ liệu Lịch sử Toán học MacTutor, Đại học St. Andrews Mainly devoted to Cantor's accomplishment.
Georg Cantor tại Dự án Phả hệ Toán học
Stanford Encyclopedia of Philosophy: Set theory bởi Thomas Jech.
Grammar school Georg-Cantor Halle (Saale): Georg-Cantor-Gynmasium Halle
The Story of Mathematics: 19TH CENTURY MATHEMATICS - CANTOR
Georg Cantor tại Encyclopædia Britannica (tiếng Anh)
Georg Cantor trên Larousse
Canto G. tại Từ điển bách khoa Việt Nam (tiếng Việt)

x t s Lý thuyết tập hợp
Tiên đề	Tiên đề chọn Axiom of countable choice Axiom of dependent choice Axiom of extensionality Axiom of infinity Axiom of pairing Axiom of power set Axiom of regularity Axiom of union Axiom schema of replacement Axiom schema of specification Martin's axiom
Tập hợp	Tích Descartes Phần bù Luật De Morgan Phép giao Tập lũy thừa Phần bù Symmetric difference Phép hợp
Các khái niệm Các phương pháp	Lực lượng Số đếm (Large cardinal) Class (set theory) Constructible universe Giả thiết continuum Tranh luận đường chéo của Cantor Element (mathematics) (Cặp được sắp, Tuple) Family of sets Forcing (mathematics) Song ánh Ordinal number Transfinite induction Sơ đồ Venn
Các dạng tập hợp	Tập hợp đếm được Tập hợp rỗng Tập hợp hữu hạn (Hereditarily finite set) Tập mờ Tập hợp vô hạn Recursive set Tập hợp con Transitive set Tập hợp không đếm được Tập hợp vũ trụ
Lý thuyết	Alternative set theory Lý thuyết tập hợp Morse–Kelley set theory Naive set theory Von Neumann–Bernays–Gödel set theory Zermelo set theory Zermelo–Fraenkel set theory Định lý đường chéo Cantor New Foundations Principia Mathematica
Paradoxes of set theory Các vấn đề	Nghịch lý Russell Suslin's problem
Các nhà lý thuyết tập hợp	Abraham Fraenkel Bertrand Russell Ernst Zermelo Georg Cantor John von Neumann Kurt Gödel Lotfi A. Zadeh Paul Bernays Paul Cohen (nhà toán học) Richard Dedekind Thomas Jech Willard Van Orman Quine

Logic

Tổng quan

Lĩnh vực giáo dục

• Argumentation theory

• Axiology • Tư duy phản biện • Lý thuyết tính toán • Formal semantics • Lịch sử logic • Informal logic • Logic in computer science • Logic toán • Toán học • Metalogic • Metamathematics • Model theory • Logic triết học • Triết học • Philosophy of logic • Triết học của toán học • Proof theory

• Lý thuyết tập hợp

Nền tảng

• Abduction

• Analytic truth • Antinomy • Tiên nghiệm • Suy diễn logic • Định nghĩa • Description • Lập luận quy nạp • Suy luận • Logical form • Logical consequence • Logical truth • Tên gọi • Necessity • Meaning • Nghịch lý • Possible world • Presupposition • Xác suất • Lý tính • Lý tínhing • Tham khảo • Ngữ nghĩa học • Statement • Strict implication • Substitution • Syntax • Chân lý • Truth value

• Validity

Lý luận triết học

Tư duy phản biện Informal logic	• Analysis • Ambiguity • Luận cứ • Tín ngưỡng • Thiên kiến • Credibility • Evidence • Explanation • Explanatory power • Sự thật • Ngụy biện • Inquiry • Ý kiến • Dao cạo Ockham • Premise • Tuyên truyền • Prudence • Lý tính • Relevance • Tu từ học • Rigor • Vagueness
Lý luận triết học	• Constructivism • Dialetheism • Fictionalism • Finitism • Formalism • Intuitionism • Logical atomism • Logicism • Chủ nghĩa duy danh • Platonic realism • Chủ nghĩa thực dụng • Chủ nghĩa duy thực

• Định lý đường chéo Cantor

• Church's theorem • Church's thesis • Consistency • Effective method • Foundations of mathematics • Gödel's completeness theorem • Gödel's incompleteness theorems • Soundness • Completeness • Decidability • Interpretation • Löwenheim–Skolem theorem • Metatheorem • Satisfiability • Independence • Type–token distinction

• Use–mention distinction

Logic toán

General	• Ngôn ngữ hình thức • Formation rule • Formal system • Deductive system • Formal proof • Formal semantics • Well-formed formula • Tập hợp • Element • Class • Classical logic • Tiên đề • Natural deduction • Rule of inference • Quan hệ (toán học) • Định lý toán học • Logical consequence • Axiomatic system • Type theory • Symbol • Syntax • Theory
Thuật ngữ lý luận học	• Mệnh đề toán học • Inference • Luận cứ logic • Validity • Cogency • Tam đoạn luận • Square of opposition • Sơ đồ Venn
Propositional calculus Đại số Boole	• Boolean functions • Propositional calculus • Propositional formula • Logical connectives • Truth tables
Predicate logic	• First-order • Quantifiers • Predicate • Second-order • Monadic predicate calculus
Lý thuyết tập hợp	• Tập hợp • Tập hợp rỗng • Enumeration • Extensionality • Finite set • Hàm số • Tập hợp con • Tập lũy thừa • Tập hợp đếm được • Recursive set • Tập xác định • Range • Ordered pair • Uncountable set
Lý thuyết mô hình	• Model • Interpretation • Non-standard model • Finite model theory • Truth value • Validity
Lý thuyết chứng minh	• Formal proof • Deductive system • Formal system • Định lý toán học • Logical consequence • Rule of inference • Syntax
Computability theory	• Recursion • Recursive set • Recursively enumerable set • Decision problem • Church–Turing thesis • Computable function • Primitive recursive function

Lý luận học phi cổ điển

Modal logic	• Alethic • Axiologic • Deontic • Doxastic • Epistemic • Temporal
Intuitionism	• Intuitionistic logic • Constructive analysis • Heyting arithmetic • Intuitionistic type theory • Constructive set theory
Logic mờ	• Degree of truth • Fuzzy rule • Tập mờ • Fuzzy finite element • Fuzzy set operations
Substructural logic	• Structural rule • Relevance logic • Linear logic
Paraconsistent logic	• Dialetheism
Logic mô tả	• Bản thể luận • Ontology language

Danh sách các nhà lý luận học

• Anderson

• Aristoteles • Averroes • Avicenna • Bain • Barwise • Bernays • George Boole • Boolos • Georg Cantor • Carnap • Church • Chrysippus • Curry • De Morgan • Gottlob Frege • Geach • Gentzen • Kurt Gödel • David Hilbert • Kleene • Kripke • Gottfried Leibniz • Löwenheim • Giuseppe Peano • Charles Sanders Peirce • Hilary Putnam • Quine • Bertrand Russell • Schröder • John Duns Scotus • Skolem • Smullyan • Tarski • Alan Turing • Whitehead • William xứ Ockham • Ludwig Wittgenstein

• Zermelo

Danh sách

Chủ đề	• Index of logic articles • Mathematical logic • Boolean algebra • Set theory
Other	• Logicians • Rules of inference • Paradoxes • Fallacies • Logic symbols

Common logical symbols
& ∨ ¬ ~ → ⊃ ≡ \| ∀ ∃ ⊤ ⊥ ⊢ ⊨ ∴ ∵

• Portal

• Thể loại • Outline • WikiProject • Talk

changes

x t s Vô tận (∞)
Lịch sử	Tranh luận về Định lý Cantor
Các nhánh của toán học	Internal set theory Non-standard analysis Lý thuyết tập hợp Synthetic differential geometry
Formalizations of infinity	Số đếm Hyperreal numbers Infinity + 1 Ordinal numbers Surreal numbers Số vô hạn Vô cùng bé
Nhà toán học	Georg Cantor Gottfried Wilhelm Leibniz Abraham Robinson

Tiêu đề chuẩn	WorldCat Identities VIAF: 39412881 LCCN: n82252409 ISNI: 0000 0001 0889 5716 GND: 118518887 SELIBR: 181008 SUDOC: 027894312 BNF: cb121371602 (data) MGP: 29561 NDL: 00435223 NKC: jn20000700275 BNE: XX999360

“Georg Cantor” là một bài viết chọn lọc của Wikipedia tiếng Việt.
Mời bạn xem phiên bản đã được bình chọn vào ngày 23 tháng 4 năm 2013 và so sánh sự khác biệt với phiên bản hiện tại.